package P is new Q (<>)