all-knowing algorithm