SubProof shell added