Expand description

Various assertions.