Когда любишь программировать, но надоело быть компьютером, начинаешь облегчать себе понимание, что должна делать функция, вбиваю состояния прямо в схему.
Обновление:
1950 год
Алан Тьюринг (говорят он разбирался в программировании).
Доклад "Проверка больших программ":
Чтобы сделать задачу проверяющего ️♀️ не слишком трудной,
программист должен написать некоторые утверждения ✍️,
которые можно проверить индивидуально ☝️, и
из которых корректность ✅ программы следует достаточно просто.