W4 theory for computational thermochemistry: In pursuit of confident sub-kJ/mol predictions | Synapse