Succinct: parametrize everything by $n$ to make asymptotics make sense; simpler example of non-compact linear-space structure