Nicolae, A. C.; Sudo, Y. On the Anti-Exhaustive Inference of Ya. Proceedings of the AC 2024, 284-290.