I gave a talk at PNNL’s Mathematics For Artificial Reasoning in Science workshop held at the University of Washington in Seattle.