diff --git a/polymani.pl b/polymani.pl
index dda79e9..8fa31c1 100644
--- a/polymani.pl
+++ b/polymani.pl
@@ -93,6 +93,12 @@ process_input(command(CL, TCR)) :-
 do_process_input(show_stored_polynomials) :-
     findall(nm(X,Y), polynomial_store(X,Y), D),
     nlp_print_memory(D).
+do_process_input(show(store(P), T)) :-
+    assertz(polynomial_store(P, T)),
+    write(P),
+    write(" = "),
+    print_polynomial_tree(T),
+    nl.
 do_process_input(show(load(P), void)) :-
     P \== void,
     (
@@ -118,12 +124,6 @@ do_process_input(show(void, T)) :-
     nl.
 do_process_input(store(P, T)) :-
     assertz(polynomial_store(P, T)).
-do_process_input(show(store(P), T)) :-
-    assertz(polynomial_store(P, T)),
-    write(P),
-    write(" = "),
-    print_polynomial_tree(T),
-    nl.
 do_process_input(forget(P)) :-
     retract(polynomial_store(P, _)).
 do_process_input(simplify(PT)) :-
@@ -417,14 +417,14 @@ parse_polynomial_explicit(void-_, T) -->
 
 parse_command(show_stored_polynomials) -->
     [show, stored, polynomials].
-parse_command(show(store(P, T), T)) -->
+parse_command(forget(P)) -->
+    [forget],
+    parse_stored_variable(P).
+parse_command(show(store(P), T)) -->
     [show],
     parse_polynomial(T),
     [as],
     parse_stored_variable(P).
-parse_command(forget(P)) -->
-    [forget],
-    parse_stored_variable(P).
 parse_command(show(load(P), void)) -->
     [show],
     parse_stored_variable(P).