Manifest: modified to prove