Renaming function: vivification -> distillation