@atomica: A witness should