1 Part 13. Tubular Rulesets. 2 Def. For a given state s with rule set R, triple E is tubular if for every triple T that E depends on, T is a tube of E:
