dealing with boolean bound variables of the current level