Lifted Logic February 4, 2023