<implementation> any specific behavior provided by the implementation, within the scope of the required behavior