assert fog.dom1