Tidy def builtin