Reasoning at the frontier of knowledge: introductory essay