then at that point P :