$def with (case, casenote) $:{casenote}