Na especificação existe uma verificação do valor colocado na máquina e essa verificação não está descrita neste diagrama.