1c1 < a --- > b