Improve description of Skeptik’s proof format