The one thing holding theoretical CS together just broke... kinda