The advanced mathematical technique of formal integration can be used to test the soundness of complex financial marketplaces, such as dark pool trading...