added assumption to user manual