Сознательные инструменты

1. Визуализация проблемы на втором шаге

2. Обоснование решения после четвертого

Стрелочки-коробочки

yEd - Java™ Graph Editor

IHMC CMap Tools