Todo aluno de Engenharia possui cadastro na Biblioteca, alguns alunos de Administração possuem cadastro na Biblioteca e todo aluno estudioso possui cadastro na Biblioteca. Sabendo-se que Carlos é aluno de Engenharia e que Antônio possui cadastro na Biblioteca, afirma-se com certeza que: