Implemented def