Properties of logarithms from ck-12