Balance (Explicit)

Reflection in the Lean (Explicit)