Assertion: write help