Revise to give negative impls lower precedence and provide examples