Healthy or Sick? Logic ForAll, 14 Jul 2022 I wanted to recap the papers I have written recently. Because I need to decide how to work while in recovery mode--things are…