2.4.2. Memory Models