Add basic functional specs