On the meeting August 15, we agreed that the Kvalidator should flag if there are two consecutive math elements. However, here is an example were there should be two consecutive math elements, since the guidelines say that the colon in the first expression should be inside the math element.