Comment by anentropic

"deliberately avoids any formal specification or proof"

how is this possibly a selling point?