Property:Proof style

Has type::String