Looks like @denotational hasn't received any replies!