Example 506 ...... [link](foo(and(bar))) ......

link