also notes in the

echo proof proof notes note notes