Proofs to support an application