Analise o seguinte trecho de um algoritmo em pseudocódigo.

Se (Bl)
Então    {  Comando1
                  Comando2
               }
Senão   {  Se (B2)
                  Então {   Comando3
                              }
                 Senão
                              {  Comando4
                              }
            }
Comando5; 

Analisando-se o trecho acima que apresenta comandos condicionais "se" aninhados com o início e fim delimitados por { }, é correto afirmar que: