Isaac Alderfer vs Karl Thiessen in the 1600