I am thinking of designing some constructs for unidirectional inversion using the mutant loxP sites lox66/lox71 (or other similar pair, if existed). Has anyone used them firsthand? How efficient are they at recombining compared to the original loxP sites? Has anyone checked whether they cannot really recombine back? Thanks!