refined specHelper functions