Double counting (proof techniq..
684
default
Zoom value: 1.0