$def with (results)
$:results