I recall seeing Amir in some of the early bitcoin docs and have been kind of curious where he ended up.