optional exception proving work