SCFL Invariant Substitution Results version 1.0 | Synapse