I thought Trump defunded them last year? It was big news at the time.