Added some existence methods. Assertion form for Topic and CR edited.