Redirecting to Propositional formula