Question 4. (6 pts) Assume that the following are true. Indicate which Hoare triples are valid (b} code {y} a > b (a implies b) bc X>>y y zz a) {a} code ly} b) {b} code {x} c) {b} code {z}