proof map