Verification Examples

ex_01
ex_02
ex_03