to def