Ab initio calculations of the olefin strain energies of some pyramidalized alkenes | Synapse