Use verifying doubles