improved assertions
nicer output
indom