itabivuze neza twayica kabisa put another way the number of walks through the inferential digraph became computationally untenable