Making computer systems with extended Identity — LessWrong