def falseDivider(length): return divider(colors.falseColor, 1, length, distances.unit_width, distances.capLengthOfDividerByLength(length))
def trueDivider(length): return divider(colors.trueColor, 0, length, distances.unit_width, distances.capLengthOfDividerByLength(length))
def orDivider(covariant): return (lambda length: divider(colors.orColor, _dimension_for_variance(covariant), length, distances.conjunctiveDividerWidth, distances.capLengthOfDividerByLength(length)))
def quantifierDivider(covariant, length): return divider(colors.quantifierDividerColor, _dimension_for_variance(covariant), length, distances.quantifier_divider_width, distances.capLengthOfDividerByLength(length))
def intersectDivider(covariant): return (lambda length: divider(colors.intersectColor, _dimension_for_variance(covariant), max(length, distances.min_intersect_divider_length), distances.conjunctiveDividerWidth, distances.capLengthOfDividerByLength(length)))