Teeny Tiny Mansion: text adventure game formally proven to have no dead ends