From ef7af5d1c5b070f321e6cffbdf80f6f04df75fe9 Mon Sep 17 00:00:00 2001 From: Andrii Kurdiumov Date: Thu, 27 Aug 2026 18:30:17 +0200 Subject: [PATCH] Add missing step in the explanation --- src/app/intro/tla-intuition/TlaIntuitionClient.tsx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/app/intro/tla-intuition/TlaIntuitionClient.tsx b/src/app/intro/tla-intuition/TlaIntuitionClient.tsx index 8df055f..94ce2e9 100644 --- a/src/app/intro/tla-intuition/TlaIntuitionClient.tsx +++ b/src/app/intro/tla-intuition/TlaIntuitionClient.tsx @@ -495,7 +495,8 @@ export default function TlaIntuitionClient({ description, spec, prev, next }: Pr

This is the solution! Fill the big jug, pour into - the small, empty the small, pour again, fill the big again — and + the small, empty the small, pour again, fill the big again, + pour into the small 1 gallon — and you end up with exactly 4 gallons.