Class RemainderDef