. Formal Testing (double module)