CHECK: spaces preferred around that '&' (ctx:VxV)