Lifted Logic 2023-23