Fixed `verified` logic and implementation

Closes #1 (again)