Verification: what is it and what types are there?