residual bequest subgroup of bequest, 4 assertions