added nameproof, projections, results