Horosphere comments on Mathematics and Empiricism