I think we need to revisit the whole space-resolution story. The current code is fine for only the simplest of cases. If you look at the 4.3.1 Space-resolution Rules in the spec the example given there shows quite clearly IMO that we probably can't just rely on the right combination of Knuth elements to resolved the spaces. Especially rule 3 is quite nasty. I'll start from scratch to come up with a better strategy of implementing these rules. I'll probably start by documenting a few cases in the Wiki and try to develop the right element list for them. After that I'll try to find out who exactly to implement everything. Help is welcome.