Add proof problem
Add comments