A logical partition of a domain that is itself ontologically contested produces formal exhaustivenes...