Definition example.