Pelo menos um seguidor de P no Twitter também é seguidor de J, e embora todos os seguidores de J sejam também seguidores de F, a recíproca não é verdadeira. Segue-se, necessariamente, que pelo menos um seguidor de F é seguidor de P, mas não todos.