I'm assuming all these exceptions will never be user visible (they are just for developers), right?