Hm. I don't disagree, but I think it has the right properties and is the least messy way of writing it. Suggestions welcome though.