- Go to TML playground: https://tml.klapka.cz/
- Click "Transitive closure" and tick "Show Steps" below.
- Run.
- Check out the output at the final step.
- Go to https://github.com/IDNI/tau and read the sections on recursion and transitive closure (compare observations at point 4).
![Cuando tu casa hace KABOOM [ENG][ESP]](https://i.ecency.com/450x450/https://cdn.pixabay.com/photo/2021/03/07/14/06/kaboom-6076319_960_720.png)