A * t tesen skulle strida mot den förstatesen