Notes

Short observations, written down before I forget them.