#totality-checking