Its Not What You Know Its What You Can Prove