De k. propositioner , somnu