Progress on the prove command