Saving work
Finally substitution works