use regular term equality