Platzer. Uniform Substitution in One Fell Swoop. 27 Feb. 2019.