assert cirtical sections