Categories formal verification

Auto Added by WPeMatico