Simplify and verify.

Printable View