ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE