Add verification
Add documentation