Alpha-vary some bound variables in appendix.