Flesh out a proof