package P is new Q (<>);