Expressions that aren't required to return a value for all possible branches of execution that can also mutate state considered harmful.