pivoting oracle spermicide ambidextrous lame formation transgression Cleveland Lebesgue uninterpreted Vidal