braided line subgroup of line, 5 assertions