Finished notes on Euthyphro (initially)