Page "Joyal–Street coherence theorem" not found :(