Total languages do not escape the halting problem – a trinary proof sketch | Heykuki News