A hip inductive theorem prover!