Email Record: Exact design of digital microfluidic biochips