2.3.2. Circuit implementation