Screenshot 4 - SMV editor, parser error - wrong boolean expression.

Previous	Enlarge	Next