Unless they somehow withdrew money from it, it can only be underfunded because it was always underfunded.