Add clearer invariants to composite spec mixing