Uniqueness from Boundary Values