Ptolemaeus, Alphonsus, and Arzachel, Michael J. Mangieri