Search

Email Record: On chains of world equations and test sets