In the literature this is referred to as the "No False Lemma" solution and while there are potential problems with it, I'd say it's a pretty good solution to the problem.