incl assertions and tests