b+~a?