Verification
Interface definition