Added 'may fail' in abstract instead of 'fail'