new factory subgroup of factory, 4 assertions