A Language for Intelligent Combinatorial Exploration (used by mathematicians to represent logical constructs)