contingent remainder subgroup of remainder, 2 assertions