Some theory work after the meeting

commiting so I can access from home