An asteroseismic view of the radius valley: stripped cores, not born rocky. Issue 4 (6th July 2018)