$forall list a $a$ $forall list b $b$