Don't write equations that follow from the definitions