Implementing definitions