Lifted Logic 2023-33