notallequal2-message

by SPARK