Prettier test output
Remove 'assumptions' given by specs