Lifted Logic 2023-13