Then, define the literal semantics of a single-word message x to be x def = {s : s ∧ v x = 0}, where ∧ denotes element-wise and and 0 denotes the zero matrix.
single-property messages can be glossed as "some goal-consistent object has property x".