... or why your next design review should probably ask "is this input format a Turing-complete language?"

This shows how un-theoretical that question is.