Matrix mortality Matrix mortality Definition, bounded frontier, and small-matrix undecidability results.