trees syntactically correct, moving on to re-weighting