lt A A: 
lt A B: 1
lt B A: 
lt AA AA: 
lt AA AB: 1
lt AB AA: