Added getter for formations