layer two;

refines interface x extends y { }
