Nested Logs under Goals