A proof that reveals no more information than the validity of the statement it supports.
COMING SOON.