Adding inequalities page to BooleanSwitching Zookeeper