Add auxiliary functions of beItv.v