prove --state