assertion method