Proefschrift: Preventing disputes: preventive logic, law & technology