new vars, proposed by Vava