Complex specifications