No -- another reason to switch to monitor.record() for everything, so monitor.clear() works.