Proof doesn't work properly, Punto class refactored