Results for agadoldr logicsnumericumericumeric