Craig interpolation (source code)

= Craig interpolation
{wiki=Craig_interpolation}