divine spell subgroup of spell, 4 assertions