Back to library

Update the previous conclusion after introducing a new exception rule