@asmeurer Please confirm if this is what you want to convey. lambda *args: args works fine in normal python but conversion to Lambda(*args, args) raises a SympifyError (because of Syntax Error).