A criterion is part of a theory