Lifted Logic 021823-2