Remove "simplifies"?