Explore Proof System