class Item{
};

class Proof{
};

class ZwyklyItem : public Item{
};

class LetItem : public Item{
};

class ThusItem : public Item{
};

class AssumeItem : public Item{
};

class TakeItem : public Item{
};

class ConsiderItem : public Item{
};

class ReconsiderItem : public Item{
};
int main()
{
    cout << "Hello world!" << endl;
    return 0;
}