Maximality: Modular Verification And Implementability