Definition of Devy