The Simplest Universal Turing Machine Is Proved for $25,000 prize by a computer engineering undergrad, nonetheless!