Notes on auditable automation.