removed mcHalf, since it's a bad idea. Still need to optimise all the quantifiers