Rely on verification tool