[ $a => $b ]->[ $b <= $a ]