Tony Hoare quotes and aphorisms about research