smoke sauna subgroup of sauna, 1 assertions
HasProperty 1
the only true sauna exp… 0.25