Zaslat SMS: Complexity & verification: The history of programming as problem solving