Our algorithm works!`