diff --git a/day7.pl b/day7.pl
index afd37c9..8420917 100644
--- a/day7.pl
+++ b/day7.pl
@@ -74,8 +74,6 @@ joker(11, 0).
 joker(X,  X) :- X \= 11.
 part1_to_part2(Xs-B, Ys-B) :- maplist(joker, Xs, Ys).
 
-with_hand(Xs-B, H-Xs-B) :- hand(Xs, H).
-
 part2(File) :-
   phrase_from_file(lines(Ls0), File),
   maplist(part1_to_part2, Ls0, Ls),