克服开头的尬写之后，叙事与元叙事的双线编排非常精彩，且有缜密对照感。目前有四作：《连续统假设》，无元叙事，讨论读者与侦探面临的公平性问题、以及写作时严密与自由的矛盾；《费马的最后一案》，叙事与元叙事都讨论符合事实的推理和有用（能够解释给旁人的、或能够迫使真凶认罪的、或歪打正着猜对凶手的错误的）推理；《不动点定理》，叙事与元叙事都着眼于加害意图的存在，而具体的实施和诡计则因确定性较弱、对推理其他因素的贡献较小而居于次要地位，秉持关注解的存在性而不关注具体解的思想；《格兰迪级数》，没有叙事，与第一篇相似地讨论了推理出的真相是否唯一存在（但这似乎是格兰迪级数本身完全负责的），与第二篇相似地讨论了侦探需要给出的是怎样的解答。
