Function Proofs Discrete