last comments Thomas, and proof of updated mixture in 3.1.1.