Paper for Principles of  Object-Oriented Programming Languages