Ajay Shah's home page -- miscellaneous pieces