Logic is based upon a doubt as to « reality », not to speak of authority. This is why axiomatic realism, a.k.a. Tarskism, at work in familiar (1.0) logic is a miscarriage of logical rationality. We propose to replace the trinity Syntax/Semantics/Meta, with an architecture based upon the synthetic a posteriori : « l’usine » (the factory) and its proofnets. We thus replace the nets of logic with the logic of nets. Among the technical novelties, the self-dual propositional constants フ and ヲwhose multiplicative combinations define natural numbers. Since equality becomes logical equivalence, natural numbers provide pairwise contradictory propositions, which is classically inconsistent : a conjunction can thus be true while one of its components is false. Truth, which no longer proceeds from the Sky, is governed by the Euler-Poincaré invariant of graphs, with a derealistic switch : the invariant depends upon the divide between objective and subjective vertices. Derealism thus accomplishes a spectacular jailbreak from Tarskism!