add 5.4, 5.6 after the long gap. long time no see, sicp!