changed the prove call