See C1 for an example.