Os pinguins institucionais são reais.