"Ada" distingue cuidadosamente entre declaraciones (que