encoding changed to the one with explicit negations and preorder