Verification. Step by step