warp weighted loom subgroup of loom, 2 assertions