Add one more assert: