added: documentation about assertions