Functoriality for Khovanov homology

Stephen will talk about work in progress on variants of Khovanov homology, which may afford an integral theory which is functorial in $S^3$.