Implementação em teoria terminada