which is non-trivial, I'm afraid