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