contraction rules (1000225582);