Logical contraction