https://thelogictutorial.blogspot.com/2024/03/and-parallel-version-of-these.html