Looks like @cauchycauchy hasn't received any replies!