Verify control systems, monitors, schedulers, cleanup routines, and side-effect functions by behaviour, not by names or claims.
