Double-clausing removed