fixed rule B with added D