Robustly_comparable.S