REQ: don't need these in the requirements