"shows" is redundant when there is no other declaration (e.g. "fixes", "assumes")