Read all four results

Read together

The model checks private, expected sender, unchanged, and new, not repeated messages. A passes all four; Sammy uses it for this pretend task. The rest each fail one check; Sammy sets them aside.