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