Clean proof skeleton.