Cursive n
Improve error message
Remove var failures, introduce indefinite(n)
Expand section In a nutshell