Update feasability_proof.R