horizontal line subgroup of line, 26 assertions