Managed to prove this one too.
Add a module with some nifty truths.
Some comparison truths... does not work well.