understands2-message

by SPARK