If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.
This is an old problem in probability theory, and there are different solutions.
PT is developed first in finite model, so it's natural that its extension to infinite models can be done in a few different ways.
Could you point me to some solutions?