tilde C tested for consistency and that C*P*P = C*P