Maximum modulus principle: Revision history