seo friendly

Signed-off-by: Adrian Cole <adrian@tetrate.io>

proposals/multi-value/Overview.md

@@ -30,7 +30,7 @@
 
 * Inputs to blocks:
   - loop labels can have arguments
-  - can represent phis on backward edges
+  - can represent (SSA) phi nodes on backward edges
   - enable future `pick` operator to cross block boundary
   - macro definability of instructons with inputs
     * `i32.select3` = `dup if ... else ... end`
@@ -78,7 +78,7 @@ Conditionally manipulating a stack operand without using a local.
 )
 ```
 
-An iterative factorial function whose loop doesn't use locals, but uses arguments like phis.
+An iterative factorial function whose loop uses arguments similar to an SSA phi function instead of locals.
 ```wasm
 (func $pick0 (param i64) (result i64 i64)
 	(local.get 0) (local.get 0)