Redirecting to A System of Logic