simplifies unless equation