for the def