Def is implemented