Mal Malloy remainder comparability