$def with (name=None)