nonredundancy