circumcludenti