added new specification tests