If nothing is on the top, then the bottom statement is always true: "zero is of type Nat (in all cases)."
"Dacă nimic nu este pe partea de sus, atunci instrucțiunea de jos este întotdeauna adevărată:" zero este de tip Nat (în toate cazurile) ".