eq A A: 1
eq A B: 
eq AA AA: 1
eq AA AB: