A with-based effect notation - 信息索引