7.5 Properties of Logs Notes