Trusted Logic