Shmi comments on Open Thread, November 1 − 7, 2013

[Shmi]

… while singing praise to testability and provability?