validation specs