touched up notation in writeup and slides