Criteriology;: A class manual in major logic,