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