specification fully implemented