Nat/sub_rem.kind