On monotonicity and couplings of random currents and the loop-O(1)-model

Using recent couplings, we provide counterexamples to monotonicity properties of percolation models related to graphical representations of the Ising model. We further prove a new coupling of the double random current model to the loop-O(1)-model.