Warning removal
Adapt to `intends` only showing up as an effect