P : | f A0!