Formation implementation