HOL3VS : & 0:0,