$def with (n)