Redirecting to Syntax (logic)