starting work on checking substitutions