Symbolic Explore Methodology