Looks like @denotational hasn't received any replies yet!