For to def