Redirecting to Dynamic logic (digital logic)