Markus–Yamabe_conjecture loading ...