added assumption comments