Looks like @seignorage hasn't commented yet!