let pair_second x = fwd (Input.pair_second (bwd x))