Understanding Toto Verification Expert