The 7 Ortega OLL algorithms for the 2×2 cube: recognition diagrams, verified JPerm algs and a 3D demo. Orient the top face once the bottom face is done.