નિકોલસ ચોક્કસ, સ્પષ્ટ રીતે વ્યાખ્યાયિત વર્ગો વિચારે.