Todos los programadores son introvertidos.

Un programador extrovertido no es realmente un programador.

Como está solo en la sección de informática de la biblioteca, debe de ser un programador.

Casi ningún programador es extrovertido.