vertical line subgroup of line, 18 assertions