Mathematical logic: stories to listen to | HearLore