first proof is up