Overlapping neural responses to symbolic math and formal logic in the intra-parietal sulcus