Definition of Executed Remainder