Forbidding null ciphers