deny_all_undecidability.png