It looks like the logic is not equivalent here.