added substitution Oliver made
Merge branch 'working-pbvi-lifted' of https://github.com/sidsrivast/blog into working-pbvi-lifted