cheap grace subgroup of grace, 7 assertions