$def with (what)