Open Internet by MindsNetMaking a known leakage operation inexpressible instead of reviewing arbitrary code