0000876 defining a result