notequaltx2-message

by SPARK