probes1
P-006Does the chromatic/anonymous discriminator turn the false-friends list into a decision procedure?probe notes1
N-008Two kinds of local-to-global impossibility: chromatic and anonymousnote
generated 2026-10-25nothing on this page is maintained by hand