The idea is to have a reusable algorithm for figuring out which truth values imply which other truth values, possibly across multiple turns. The post then describes several game analysis techniques that can be written in terms of the basic algorithm.