KNILT/Extensions