Begin adding proof for decoder2