Class KSBadHornClauseException