( a b |!p