Hennessy%E2%80%93Milner logic

undefined