Full krangel om Nokas-beviser