CSSE2002 preconditions note