. . "When P is a A;" . .