>>799
そっちの勘違いする奴も居るけど、790とか796が言ってるのは
「俺様の素晴らしい設計・証明のもとでコーディングすればバグは出ない」的な奴だな。