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.