Implement def