Beyond Formal Operations