ex:log-is-homo