Redirecting to Hilbert-style deduction system