wrote skeletons functions for substitution.py