In which a last alive evaluate remains needed, we say so demonstrably rather than guessing