Free graph expansion technicalities