Added documentation for new assertions