Don't Be Evil: The Freedom of Knowledge - Transparent Derivation, Machine Proof, and Open Empirical Science | Synapse