If the title you want is just one word, how can you "smash" it together?

	1.  You can add some other word(s).  For example, instead of _Z_, use _ZSpecificationLanguage_.

	2.  You can turn some later letters into capitals.  For example, instead of _Specware_, use _SpecWare_.  This does not work for _Z_.  But if the title is a multi-letter acronym, like _KIDS_, you are fine and don't need to do anything special.

The general rule is that the smashed-together word is fully alphanumeric and contains two capital letters, as in _R2D2_ or _3CP0_.