Om Halvor Johnsen emot aliförmodan