1 Generalizable All Variables.
2 Require Import Preamble.
4 (******************************************************************************)
5 (* Chapter 3.3: Equalizers *)
6 (******************************************************************************)