... And there are other things we have to do at ...
... to contain the first seven digits of pi that other people can be enjoined from writing ...