Some examples for Vitalik