Operations: first, the investigator proceeds by combining intuition and verication. He ponders the knowledge which must for ages to come--possibly for all.