circumcludendorum