Redirecting to Counter machine reference model