$def with (ds) $:ds