Find!
If x1 (proposition) is true, then x2 (proposition) is logically guaranteed to be true too, and x1 is indeed true.
Valid and sound.