Add proof pictures