Takeuti_conjecture loading ...