class Law::AlreadyJudgedError