Cats algebra laws