w-formula-spec
