I won't be impressed until it identifies the proof he wrote in the margin. /s