with procedure P is abstract;
