prevent clashes with bound variables