In Robert Fabbri's Vespasian series, a Roman executioner remarks that a girl the age of 7 can not be executed as she is still a virgin. What was the precedent behind this law? When did it come into practice? and what effect did it have if any at all?