Ul t- c : = r?