This was suggested by Guang since maybe we'll need to add more properties to an instance.