Lifted Logic Test4