proven : 0