also notes in the
echo proof proof is proof ___