For uniformity, P should be allowed to take arguments, too.