kräftartad framställes åter med Btor bestämdhet.