Lifted Logic 2023-30