Looks like @dreal hasn't received any replies!