标签: number of bound variables