add proof entrpy is 0