diff --git a/mmverify.py b/mmverify.py
index d988ef0..e2c2ca6 100755
--- a/mmverify.py
+++ b/mmverify.py
@@ -45,7 +45,7 @@
 Symbol = typing.Union[Var, Const]
 Stmt = list[Symbol]
 Ehyp = Stmt
-Fhyp = tuple[Var, Const]
+Fhyp = tuple[Const, Var]
 Dv = tuple[Var, Var]
 Assertion = tuple[set[Dv], list[Fhyp], list[Ehyp], Stmt]
 FullStmt = tuple[Stmttype, typing.Union[Stmt, Assertion]]