Properties Verification added