I74

see http://gsd.uwaterloo.ca:8888/question/338/problem-with-translation-of-abstract-clafers-in