rättfärdigande i Ulricis logiska system.