new specification in TODO