Property:Proof style

has type::string