Aristarchus is a pseudonym.