TIN nedeterministicke KA: komentare