State assumptions