#include <iostream>

using namespace std;

/* Write your code here */

int main()
{
    Ordinal zero{};
    cout << "0: " << zero << endl;
    Ordinal const one{zero.successor()};
    cout << "1: " << one << endl;

    // three starts as 0
    Ordinal three{};

    // increment it to two
    ++(++three);

    // copy the current three, thus getting two and then increment three
    Ordinal two { three++ };
    
    cout << "2: " << zero + two << endl;
    cout << "2: " << two + zero << endl;
    cout << "3: " << three << endl;
    cout << "4: " << two + two << endl;
}