Proven interpolation