Those don't have to be the only two options. You can also criminalize hiding your mental illness as a pilot while incentivizing self-reporting via sufficiently generous disability insurance.