Inference by Insertion