a-b-logic