Finished Substitute, Added some base case Do rules.