1. remove overlap right
why remove overlap right, when its not in the tactic?
 
Top