"on-the-spot verification of branches"@en . "1"^^ . . . . . . . .