"Dilithium should be..."