fixed number of bound variables