K. propositioner , utom deofvan