Looks like @cryptosimplify hasn't received any replies!