Additional assertions