A-B Logic