clarified assertation documentation