The only question is to what extend this is relevant in reality, and how it compares to other efforts to avoid bugs.