4 ms·sounds like enumeration of 1st order logic conceptsby sargstuff 4y agosounds like enumeration of 1st order logic concepts