On Ultraproduct Embeddings and Amenability for Tracial von Neumann Algebras. (26th October 2020)