layer two;

refines class x implements y { }
