assertion problem resolved