added assumption