Property:Proof paradigm

Has type::String