Makinson, D. The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden . B Sect Log 2020, 49, 327-342.