Q & R   <  Q 
 <=> Q & R & Q   =  Q & R 

Q & R & Q 
 = Q & Q & R 
 = Q & R 

