Auditable specs: Use opts instead of options