Debugged (hypothetically).