Began work on verified DNS implementation