Explicitly initialize spec clause everywhere