Def with parameter names