Generalizable All Variables.
Require Import Preamble.
Require Import General.

(******************************************************************************)
(* Chapter 3.3: Equalizers                                                    *)
(******************************************************************************)

(* FIXME *)