The simultaneous replacement of multiple ideas in a proposition yields a uniquely determined variant...