0.07939 next exact entry