consider C being category;
take C ; :: thesis: ( not C is empty & C is reflexive )
thus ( not C is empty & C is reflexive ) ; :: thesis: verum