- when: user runs echo without arguments - then: exit code is 0 - then: standard output contains a newline - then: standard error is empty