Considere o trecho de uma lógica de programação em pseudolinguagem abaixo, sabendo-se que B1 e B2 são variáveis lógicas, que podem ter valor verdadeiro ou falso.

se (B1)
então Comando1
senão se (B2)
então Comando2
senão Comando3
Comando4
fimse
fimse

Comando5

É correto afirmar: