The Elimination Matrix: Some Lemmas and Applications | Synapse