We examine to what extent a projection theorem is possible in the non-commutative (free) setting. We first review and extend some results that count against a full free projection theorem. We then obtain a weak version of the projection theorem: projections along linear and separated variables yield semialgebraically parametrised free semi-algebraic sets.