:$ f :$ a a :$ b b :$ c c ~ cycle(&a,&b,&c) ~ f ~ f ~ f ~ f ~ f