Notes

Quick thoughts, notes in passing, and ideas not yet grown into full articles.