added rule so a/a simplifies to 1