hot spring subgroup of spring, 4 assertions