Abstract: This is a continuation of the previous talk about skein lasagna modules. We review some features of the Khovanov homology and its Lee deformation. We examine the resulting skein lasagna modules with these two theories as inputs, extract a lasagna version of Rasmussen’s s-invariant, and state some formal properties. We then show that Khovanov/Lee skein lasagna modules and lasagna s-invariants can distinguish exotic pairs of 4-manifolds, namely smooth 4-manifolds that are homeomorphic but not diffeomorphic. Background on smooth 4-manifolds will be explained when necessary. This is joint work with Mike Willis.