Shai Ben-David Erkki Mäkinen Jeffrey Shallit