** Symbolic Explore Methodology **