[Cryptech Tech] goals / use cases

[Leif Johansson]

<snip>

> randy, who will now use packing as an excuse for running for cover

I find myself agreeing with all of the above.

I will only offer this observation: I suspect the real question between
M* and A* is one of complexity (as in simple == more trustworthy), not
power so if we can swallow the complexity of A* then having the power
is probably good.

	Cheers Leif