Oops. Add freemap verification for defthms