redundant (also the simpler branch should come first)