Hvad vi redan veta örn de k.propositionerna