diff --git a/src/parse/formulas.rs b/src/parse/formulas.rs
index db4669e..0bf8f23 100644
--- a/src/parse/formulas.rs
+++ b/src/parse/formulas.rs
@@ -245,7 +245,7 @@ where
 							let argument = FormulaStr::new(argument?, self.declarations, self.variable_declaration_stack).parse(level + 1)?;
 
 							Ok(crate::Formula::implies(crate::ImplicationDirection::RightToLeft,
-								Box::new(accumulator), Box::new(argument)))
+								Box::new(argument), Box::new(accumulator)))
 						});
 				},
 			}