doc fix for `implies`