Updated logik to use a meta-substitution.