It's not Rabbit. I'll put together some proofs if you really want.