Examples of derived instances