s/implies/requires