What happened to defunding?