The a priori probability that a given property P is a rightmaking property is equal to the a priori ...