now showing proof steps