swapped 5/6ths of type checking for assertions.