whpearson comments on Making computer systems with extended Identity