a and b then d