lines
length
included
nothing
else
seen
—defined before the beginning of history (October 2022)
submit