Further tweaks to Euthyphro notes