Dear Andrzej, I thought a second more about this: "let t be a normal form" seems to have a different sentence structure from "let t be a term that is in normal form". Freek