Def is derived syntax