I’m thinking of retaining P-Law as a disambiguation, because of P-completeness,

I’m thinking of retaining P-Law as a disambiguation, because of P-completeness, despite earlier association with Propertarian. It just makes life so much easier.

I might disambiguate P-Law into the Science and Logic of Decidability, and P-Law as the Legal Output.

Decidability.