Proof  previous knowledge