Proved ST0