Lifted Logic Work 1