... now we're getting into girdle and incompleteness and whether numbers are special. ...
... We now have to get it to a state where people can use it. ...