Det är do^k * sannt ,att