( Karp går ).