[vbit]

Would be nice to have a screenshot without the red squiggly underlines.

[dualogy]

Unless..... "As you type in your program, the verifier constantly looks over your shoulders and flags any errors." .... it's a feature being highlighted =)