Redirecting to Hennessy-Milner logic