2020_02 27 Still ok to abort

Polite comments are welcome.