Procedures for automated interpolation
