Attributes . Used for Double Michael Addition with Cyclohexanones to Give Bicyclo[2.2.2]Octanes . Names