SANDO PROOF INTEGRAL