rule simplifies