Executed Remainder Definition

See: vested remainder