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