Garrett Baker comments on Information on time-complexity prior?