9 solves the NASA funding problem