We used a computer-generated randomisation sequence with a Williams square design of size four to assign patients ( 1:1:1:1 ) to the FC2 control device , or the Woman 's , VA wow , or Cupid condoms , with 12 potential allocations .