lomp’s rules: the double punishment