geometric verification