fake smile subgroup of smile, 1 assertions