Definition of Dereyn