document invalid state exceptions