additional assert