As per math, I have a friend doing basic abstract stuff in logic. He struggles a lot to find funds because all the calls are for math applied to AI. I am afraid that if we give up the "informing policy makers" goal, we will forgo funding and our careful methods will be applied less often.