Ah, I always forget that matrices can be non-square :)

I guess from now on, we should only add facts that are already in the handlers system. I noticed a few incorrect things there too, but at least they are more likely to be correct.