Comment by amelius

How is this "deliberately avoiding any formal specification or proof"?