linter.fugue.rwShow

An inline show … by … inside a rewrite argument hides a real proof step. State it as a have and rewrite with that.