Factor out sequential specifications