added trevisan stuff