very convenient to WAVL!