Lifted Logic 3-13-23