What is $JPROOF, and WHY Do I Keep Talking About It?