more verbose asserts