What is def