Use EOS here; makes it a bit easier to read.