These are notes