Updated OTL + additional conjuncts