fog machine subgroup of machine, 2 assertions