Detecting message stability with partial memberships

Basic matrix-based technique.

Time-travel technique.