Proof Writing · Medium problem

A student writes a direct proof of "If $x$ is rational and $y$ is irrational, then $x + y$ is irrational." What should the first line of the write-up assume?