No need to qualify fns in defelem.