[disjunctionlp0.jpg]