Clarify usage: no external verification. Closes #3