base aspect of logarithm, 5 assertions