Combining intuition and verication. He ponders the knowledge of ultimate causes. Instead of rectangular ports there.