Incorporated some comments on rebindings and inconsistencies.