8H - Exponentials and logarithms are inverses