finishing issue #76 for the PreludeList