Figure and mood validity patterns reduce to hypothetical transitivity: if A⊆B and B⊆C, then A⊆C hold...
This proposition has not been edited since the history system was added.