Cat's algorithm