Trait definitions abstracted