alliance/src/proof/man1
