If I show a proof but Steffies cannot fullfill his promise