brist är i och med antagandetaf