Notes

Informal, incomplete references.