Reminiscent of Belonging Outside Belonging's strong / weak distinction, it's not groundbreaking, but a good and original formalization. For IF state tracking especially, tag grouping could be handy.
