Put all the isolation model code in the same module.