low

low is the BinaryDecisionDiagram that leads to a 0-terminal (a false terminal), i.e. the sub-diagram to follow when value is assigned false.