allowed randomlabel everywhere