From TFA: "...the apps we’re building today do not have a clear notion of correctness". Enough read. Leave poor EJD in piece.