Generalizable All Variables. Require Import Preamble. (******************************************************************************) (* Chapter 3.3: Equalizers *) (******************************************************************************) (* FIXME *)