correct key to a categoricalLogic problem