extraneous definition