now the check and x in satisfiesMajor? are bigger