repaired definition 9 (which is now 11)