K. Mits propositioner omen