Symbol: inverse_compare_by_registration_time