documented Assumptions