According to the paper under discussion, the two statements are equivalent. Your version is probably more graceful, however.