förmodar , att K.