MintyClean (Explicit)

circuit (Explicit)