Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesisnchammas.com 6nchammas9ydiscuss