path dependant Literals working
disjoint theory combinator
theory with booleans
regression working