A proposição lógica “todos Blanchet são Dark” é equivalente à proposição expressa na alternativa: