Schanuel's_conjecture loading ...