Implement doublecheck. Resolves #1