Trying to skip remote proofs if possible