b|P
b|Q
a|T