The Inner Workings of InferKit