Deoppilate definitions