3 ms·

Reasoning is the first solution to that. Reason, write, reason, rewrite. Backtracking without backtracking.