7 < 8