Adding authentication statements to spec