fixed bound variables