Where does $CHECK1, 2 ,3 come from? Can more than one case be true?