p eo : 2a p.^>.