Internal notes updated for exceptions and requires