¬A
b