Things We Ought Not to Have Done