in this and the next step, indicate that "criterion" and "option" are attributes? (above ~line 262, attribute names are bolded. Is that a convention to follow here too?)