a slide with the lens structure of the spreadsheet; about to revert this, I think, but record it for posterity in case I decide to add it back in later
checkpoint: just need some related work on spreadsheets