Formal Operations from a Twenty-First Century Perspective