Avoid multiple evaluations with 'given'
Avoid multiple evaluations with 'given'

juxt/yada,mbutlerw/yada,delitescere/yada,ernestas/yada,mbutlerw/yada,juxt/yada,ernestas/yada,mbutlerw/yada,thomas-shares/yada,thomas-shares/yada,delitescere/yada,juxt/yada,delitescere/yada