Remove javert!