to distill [ distilled ; distilled ]