recursive_star was not correct! (we wrongly optimized it before...)