Definition of Contingent Remainder