Updates and simplifies markup and package usage.
Removes false theorem.