Wait...how are we making another substitution?