Log resolving

• 3 can also be written as using the rule above
• = (//todo, is this true?)

Property of logs