beautiful smile subgroup of smile, 4 assertions