Example: Verifying Your Model