Piglets modal logic picture

[ID: Six labeled circles.
The initial circle is labeled “Actual Situation: Mary Hatch and George Bailey have at least four piglets.” Inside the circle is four piglets on a polka dotted background, representing that there are at least two piglets.
The next is labeled “Logically Possible Situation One: Mary Hatch and George Bailey have at least four piglets.” Inside the circle is four piglets on a polka dotted background.
The next is labeled “Logically Possible Situation Two: Mary Hatch and George Bailey have three piglets.” Inside the circle is three piglets on a polka dotted background.
The next is labeled “Logically Possible Situation Three: Mary Hatch and George Bailey have two piglets.” Inside the circle is two piglets on a polka dotted background.
The next is labeled “Logically Possible Situation Four: Mary Hatch and George Bailey have one piglet.” Inside the circle is one piglet on a striped background, representing that there is not at least two piglets.
The next is labeled “Logically Possible Situation Five: Mary Hatch and George Bailey have no piglets.” Inside the circle is no piglets on a polka dotted background.]
Invalid Wilson argument

[ID: Four labeled circles.
The initial circle is labeled “Actual Situation: L0 and H0 are the case. Wilson is racist.” Inside the circle is an atom, a book, and a polka-dotted background representing that Wilson IS racist in this situation.
The next is labeled “Logically Possible Situation One: L0 and H0 are the case. Wilson is racist.” Inside the circle is an atom, a book, and the polka-dotted background.
The next is labeled “Logically Possible Situation Two: L0 and H0 aren’t the case. Wilson is racist.” Inside the circle is nothing but the polka-dotted background.
The next is labeled “Logically Possible Situation Three: L0 and H0 aren’t the case. Wilson isn’t racist.” Inside the circle is nothing but a striped background, representing Wilson not defending the Ku Klux Klan.]