att b » !a.