Antingen gifves det härdefinitioner