Arc should be computed b
should not be
value that should not
should be contained
message that should be