b(c d!c b a)