See the 2013-01-24 comments. [NOTED: This code is not yet to test]