Should this be a failure, or an abort? (Also, does the managed branch need checks too?)