Spec optimizations