The verification of category and property statements