Adding missing assume messages