4p double elimination is totally working I think?
4p double elim working