Finish verify(). Now checks defthms.